COMMENT ⊗ VALID 00002 PAGES RECORD PAGE DESCRIPTION 00001 00001 00002 00002 REQUIRE "RANDOM[SYS,BGB]" LOAD_MODULE 00003 ENDMK ⊗; REQUIRE "RANDOM[SYS,BGB]" LOAD_MODULE; EXTERNAL REAL PROCEDURE RANDOM;